Constraint Checking for Business Process Management

نویسندگان

  • Wolfgang Runte
  • Marwane El Kharbili
چکیده

Compliance management tackles issues related to both modelling and enforcement of business constraints in enterprises. In the context of business process management, we propose and describe the use of constraint satisfaction problems as a formal mean for representing these business constraints. We propose a multi-level constraint satisfaction approach to handle different levels of abstraction in business process modelling. We elaborate on the modelling of compliance requirements using constraint satisfaction and discuss implications of this technique such as problem solving strategies. This work shows that a certain class of compliance problems which can be grounded to constraint satisfaction problems can be solved efficiently using the proposed approach.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Business process verification with constraint temporal answer set programming

The paper provides a framework for the verification of business processes, based on an extension of answer set programming (ASP) with temporal logic and constraints. The framework allows to capture expressive fluent annotations as well as data awareness in a uniform way. It allows for a declarative specification of a business process but also for encoding processes specified in conventional wor...

متن کامل

On compliance checking for clausal constraints in annotated process models

Compliance management is important in several industry sectors where there is a high incidence of regulatory control. It must be ensured that business practices, as reflected in business processes, comply with the rules. Such compliance checks are challenging due to (1) the different life cycles of rules and processes, and (2) their disparate representations. (1) requires retrospective checking...

متن کامل

System Monitoring using Constraint Checking as part of Model Based System Management

Nowadays the result of a software development process is in many cases a complex system. Critical factors that contribute to a higher degree of complexity are the size, dynamicity or heterogeneity of the developed system. Furthermore many stakeholders with different viewpoints and different interests have a need for different management features. Thus it is possible to make use of model-driven ...

متن کامل

A static compliance-checking framework for business process models

Regulatory compliance of business operations is a critical problem for enterprises. As enterprises increasingly use business process management systems to automate their business processes, technologies to automatically check compliance of process models against compliance rules are becoming important. In this paper, we present a method for improving the reliability and minimizing the risk of f...

متن کامل

Formalizing Dependencies in Business Process Models Using Constraint Satisfaction

Compliance management tackles issues related to both modelling and enforcement of business constraints in enterprises. In the context of business process management [Sch00], we propose and describe the use of constraint satisfaction problems [Dec03] as a formal mean for representing these dependencies [Run09, REK09]. We describe different scenarios using constraint satisfaction for the modellin...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2009